SMIE: Weakness is Power!

Is the Contemporary Account of Weakness of Will Complete?

Before an outstanding article in 1999 by Richard Holton, weakness of will was identified as an agent's action contrary to his or her better judgment, while other better choices are available. The contemporary account of weakness of will (i.e., Holton’s theory) explains it in terms of intention. Accordingly, weakness of will happens if an agent fails to stick to his or her previously formed inte...

Weakness is a virtue

The number of interleavings that a concurrent program can have is typically given as the key difficulty in automatic analysis of concurrent software. Weak memory, as implemented by modern multiprocessors such as Intel x86, IBM Power and ARM, is generally believed to make this problem even harder. On the contrary, we believe that by embracing rather than fleeing from weak memory, we can obtain e...

Flatness Is Not a Weakness

We propose an extension, called L + p , of the temporal logic LTL, which enables talking about nitely many register values: the models are innnite words over tuples of integers (resp. real numbers). The formulas of L + p are at: on the left of an until, only atomic formulas or LTL formulas are allowed. We prove, in the spirit of the correspondence between automata and temporal logics, that the ...

is the contemporary account of weakness of will complete?

before an outstanding article in 1999 by richard holton, weakness of will was identified as an agent's action contrary to his or her better judgment, while other better choices are available. the contemporary account of weakness of will (i.e., holton’s theory) explains it in terms of intention. accordingly, weakness of will happens if an agent fails to stick to his or her previously formed inte...

Power and Weakness of the Modal Display Calculus